Natural termination
نویسندگان
چکیده
منابع مشابه
Natural Termination
Two techniques are examined for showing termination of rewrite systems when simpli cation ordering are insu cient. The rst approach generalizes the various path orderings and the conditions under which they work. Examples of its use are given and a brief description of an implementation is presented. The second approach uses restricted derivations, called \forward closures", for proving termina...
متن کاملTermination of aquired and natural immunological tolerance with specific complexes
It was possible to terminate the induced unresponsive state to bovine serum albumin (BSA) and the natural unresponsive state to autologous thyroglobulin in rabbits (RTg) by immunization with complexes composed of heterologous cross-reacting antibody and the tolerated antigens. The unresponsive state was terminated in rabbits made unresponsive by neonatal injections of BSA and then 3 mo later in...
متن کاملReducing AC-Termination to Termination
We present a new technique for proving AC-termination. We show that if certain conditions are met, AC-termination can be reduced to termination, i. e., termination of a TRS S modulo an AC-theory can be inferred from termination of another TRS R with no AC-theory involved. This is a new perspective and opens new possibilities to deal with AC-termination.
متن کاملProving Termination Through Conditional Termination
We present a constraint-based method for proving conditional termination of integer programs. Building on this, we construct a framework to prove (unconditional) program termination using a powerful mechanism to combine conditional termination proofs. Our key insight is that a conditional termination proof shows termination for a subset of program execution states which do not need to be consid...
متن کاملTermination of Pregnancy with Prostaglandin
تاثیر تزریق داخل رحمی apGF2 و تزریق داخل وریدی اکسی توسین به عنوان دو روش درمانی در ختم حاملگی، در زنانی که در سه ماهه دوم بارداری دچار پارگی کیسه آب بودند، با یک دیگر مقایسه شده اند.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00275-4